DUGi: Llistar Títols | dc.subject:"Reformulation" | 0 - 2

Llistar Títols

S'han trobat 2 ítems

Llistant ítems des de 0 a 2:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	20 desembre 2012	A satisfiability modulo theories approach to constraint programming	Suy Franch, Josep
		A satisfiability modulo theories approach to constraint programming	Suy Franch, Josep

1

Matèries

51 - Matemàtiques 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automàtica Constraint programming Programación con restricciones Reformulació Satisfactibilidad módulo teorias metarestricciones

Autors

Bofill Arasa, Miquel Suy Franch, Josep Universitat de Girona. Departament d’Informàtica i Matemàtica Aplicada Villaret i Ausellé, Mateu